高級車の乗り心地を最適化する自動車エンジニアであると想像してください。車が凸凹の道を滑らかに走行するとき、車体の質量、ばねの剛性、サスペンションの減衰抵抗の相互作用は、一つの数学的構造によって支配されています： 2階線形微分方程式これは単なる式ではありません。振動、安定性、制御の言語なのです。
基本的な構造
2階線形微分方程式は、未知関数 $y(x)$ とその1次および2次導関数との関係を表します。「線形」という用語は、$y$、$y'$、$y''$ の各項が1次のべき乗でしか現れないことを意味します。
標準形
$$P(x)\frac{d^2y}{dx^2} + Q(x)\frac{dy}{dx} + R(x)y = G(x)$$
ここで $P(x)$、$Q(x)$、$R(x)$、$G(x)$ は特定の区間上で連続な関数です。
方程式の分類
- 同次方程式： 区間内のすべての $x$ に対して $G(x) = 0$ である場合、この方程式は 同次と呼ばれます。これは自由振動や平衡状態にあるシステムをモデル化します。
核心公式: $P(x)\frac{d^2y}{dx^2} + Q(x)\frac{dy}{dx} + R(x)y = 0$
- 非同次方程式： もし $G(x) \neq 0$ である場合、この方程式は 非同次とされます。関数 $G(x)$ は外部からの強制力（例えば穴ぼこを踏んだときなど）を表します。
重ね合わせの原理
線形理論における最も強力なツールの一つは、簡単な解から複雑な解を構成できるという能力です。
定理3：重ね合わせ
もし $y_1(x)$ と $y_2(x)$ が線形同次方程式の両方の解であり、$c_1$、$c_2$ が任意の定数であるならば、線形結合：
$y(x) = c_1y_1(x) + c_2y_2(x)$
もまた解になります。
一般解の求め方
同次方程式の すべての 可能な解をすべて捉えるためには、2つの基本解が 線形独立であることを確認しなければなりません。これはどちらの関数も他方の定数倍ではないことを意味します（例：$e^x$ と $e^{2x}$ は独立していますが、$e^x$ と $2e^x$ は独立していません）。
定理4：一般解
もし $y_1$ と $y_2$ が区間上で線形独立な解であり、かつ $P(x)$ が0にならないならば、一般解は次のように一意的に定義されます：
$y(x) = c_1y_1(x) + c_2y_2(x)$